#include "stdio.h"

int main(int argc, char *argv[]) {
	unsigned
		dict[256],
		total = 0,
		c = 0;
	while(c < 256) dict[c++] = 0;
	while((c = getchar()) != EOF) {
		dict[c]++;
		total++;
	}
	printf("Total: %d\n", total);
	for(c = 0; c < 256; c++) {
		fprintf(stdout, "x%1$.2X %2$u\n", c, dict[c]);
	}
	return 0;
}
